高旋弹头滑块控制的建模与仿真

建立了双滑块机构下的高旋弹头动力学分析模型,对气动力矩变化和惯量张量变化给外弹道参数带来的影响进行了仿真研究,结果表明:双滑块机构对弹道三维方向的改变均有效果,同时弹头飞行攻角也是逐渐减小,因此系统的稳定性也是可以得到保证的,这就为后续的闭环控制提供了必要的保证.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

中国维和警察学科理论体系基本框架构想

中国维和警察参与联合国维和行动已成为我国公安工作的重要内容，把中国维和警察理论作为中国警学的新兴学科，研究由联合国维和行动基本理论、中国维和警察特色理论、中国维和警察基础理论、中国维和警察专业理论、中国维和警察应用理论构建的中国维和警察学科理论体系基本框架，对我国维和警察工作的发展具有重要的促进作用。     

非对消解耦方法在硬式空中加油管控制中的应用

研究了硬式空中加油管的控制问题,基于对伸缩管模型的分析,得出伸缩管必须进行解耦才可有效控制的结论;基于模型存在S右半平面零点的特征,提出了利用非对消解耦方法解决硬式空中加油管的控制问题。通过Matlab/Simulink进行仿真,结果表明该方法可以有效地消除系统间的耦合作用,能够满足伸缩管的控制需要。     

从大学生发展视域看高校辅导员的角色定位

本文以破-立为基本研究方法，以新时期大学生发展与辅导员角色定位二元博弈为主线来探讨高校大学生思想政治工作。本文首先梳理分析了当代大学生发展的主要特点，并以此为依据，提出高校辅导员思想政治工作的角色定位。     

具有射击门体制的武器系统首发命中率分析

针对具有射击门体制的武器系统,研究其行进间射击的首发命中率.在分析射击误差时空特性的基础上,得出了射击门对稳定误差具有吸收效应.利用超速、欠速概率转移阵,分析了稳定误差在射击门内的概率密度分布,演绎了首发命中率估值的解析表达,给出了首发命中率的计算方法.通过数值分析,探讨了稳定误差的相关系数与其在射击门内的分布及首发命中率的关系,从而为行进间射击的武器系统稳定系统的设计、优化提供理论支持.     

GA BP网络在机体研制费用预测中的应用

针对目前BP神经网络在应用中,网络结构难以确定以及网络极易陷入局部解问题,用遗传算法优化神经网络的连接权和网络结构,并在遗传进化过程中引入交叉概率和变异概率与个体的适度值相联系,改进了操作算子,而且在交叉操作后又引入模拟退火机制,提高遗传算法的局部搜索能力.建立了基于改进遗传算法的BP网络费用预测模型,并以某型飞机机体进行实例分析,计算结果表明,该方法预测的准确性更高,且预测结果稳定.     

不同热化学模型对表面传热影响的数值分析

研究不同热化学模型及壁面催化条件对表面传热的影响 ,包括 :(1)不同组元的高温空气模型 (7组元、 11组元 )的比较 ;(2 )热力非平衡 (双温度 )的化学动力过程与热力平衡 (单温度 )的化学动力过程的比较 ;(3)不同壁面催化条件的比较。     

微机控制系统中的信息交换技术探讨

说明了在DOS环境下如何利用内存直接映像技术在微机控制系统中实现信息交换.介绍了双端口数据存储器的使用;提供了解决在对数据交换的实时性要求较高的控制系统中如何进行数据交换这一问题的方法和思路.